File input

All input read from non-interactive files has the same form:
file_input:     (NEWLINE | statement)*
This syntax is used in the following situations: